Channel Sensitivity in Reactive Systems

Channel sensitivity in reactive systems arises when the system interacts over multiple interaction channels simultaneously and it is important to distinguish between the many channels. While the design and verification of reactive systems is complex and not amenable to traditional paradigms of inductive reasoning, channel sensitivity adds an additional dimension of complexity. In this paper, we provide an introduction to channel sensitivity and look into the kinds of translational mismatches that could occur in designing a channel sensitive model from a set of functionality specifications.